// $Id$
// vim:ft=javascript

// If your extension references something external, use ARG_WITH
// ARG_WITH("segmentation", "for segmentation support", "no");

// Otherwise, use ARG_ENABLE
// ARG_ENABLE("segmentation", "enable segmentation support", "no");

if (PHP_SEGMENTATION != "no") {
	EXTENSION("segmentation", "segmentation.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
}

